  Conferencias

  |  | NEW DIRECTIONS FOR LOGIC PROGRAMMING
  |  | Robert Kowalski, Profesor Emérito Departamento de Computación Imperial College of Science, Technology and Medicine Londres, Reino Unido. Times have changed. Gone are the days when Logic Programming looked ready to take over the world. In these days of the Internet, objectoriented programming, reactive agents and multiagent systems, we need a better understanding of the possible role of Logic.
  Programming in the future. The argument for Logic Programming is based in large part on its Logical foundations. But Logic has been subjected to numerous attacks in recent years, and these attacks have, therefore, shaken the very foundations of Logic Programming. Traditionally, researchers in Logic and Artificial Intelligence focussed on the use of Logic to formalise the thinking process of an individual agent. They paid little attention both to the environment in which the agent was embedded and to the interaction of the agent both with the environment and with other agents.
  Logic Without Model Theory. In my own work, I have at times taken an extreme view about the relationship between a logical theory and the environment with which that theory interacts. I now believe that that view has been partly to blame both for some of the limitations of my own work and for some of the limitations of the approach to logic programming I have advocated in the past.
  In ``Logic Without Model Theory'' [K], I wrote: In model theory, there is a real world, consisting of real individuals, functions and relations. In the more pragmatic theory, however, there is only an inescapable, constantly flowing input stream of observational sentences, which the agent is forced to assimilate. To inquire into the source of this input stream and to speculate about the nature of the source is both unnecessary and unhelpful. For all the agent can ever hope to determine, the source might just as well be some form of virtual reality.
  Although such a view might be logically coherent, it undervalues the importance of the environment. I now believe, differently from before, that the environment is a real world, which gives meaning to an agent's thoughts, in the same way that a model, in the sense of model theory, gives meaning to sentences in logical form.
  The observationthoughtaction agent cycle. My new way of thinking has been inspired in large part by thinking about reactive agents and multiagent systems. Reactive agents and intelligent agents, more generally, can be understood within the framework of an agent's observationthought action cycle.
  Robert Kowalski es considerado el padre de la Programación Lógica y es uno de los más creativos y activos investigadores en el área de la computación. Sus contribuciones incluyen más de 100 artículos, 2 libros como autor y 3 como editor, pero más que nada una serie de ideas que en su interna búsqueda de la verdad y de la resolución de conflictos han dado origen a una nueva corriente del pensamiento dentro de la computación moderna.
  VER DIAPOSITIVAS DE CONFERENCIA

  INICIO FACULTAD UBICACION HISTORIA ACTIVIDADES CONCURSO CARTELES TRABAJOS TALLERES CONFERENCIAS CULTURALES EGRESADOS FUNDADORES CONTACTO COMENTARIOS INSCRIPCIONES COSTOS